Nuprl Definition : interface-compose
11,40
postcript
pdf
interface-compose(
f
;
X
) ==
F
,
s
.
f
o
F
(
s
) o
X
latex
Definitions
g
o
f
,
x
.
A
(
x
)
,
f
o
g
,
f
(
a
)
FDL editor aliases
interface-compose
origin
F,s. f o F(s) o X F,s. f o F(s) o X x.A(x)